3-cnf-sat np-complete